Portable and Configurable Implementation of ARINC-653 Temporal Partitioning for Small Civilian UAVs
نویسندگان
چکیده
منابع مشابه
Configuration Tool for ARINC 653 Operating Systems
ARINC 653 Specification defines a standardized interface of real-time operating systems and an Application Executive (APEX) to develop the reliable applications for avionics based on Integrated Modular Avionics (IMA). The requirements of system platform based on ARINC 653 Standard are defined as configuration data and are integrated to the XML configuration file(s) in the real-time operating sy...
متن کاملIntroduction to ARINC-653 Component Model
Any component model suitable for hard-real time systems, (1) must be able to specify and monitor real time properties. CCM does not support specification for task periodicity and deadline. A hard real-time component model, must allow certain component tasks to be defined as periodic. Moreover, all tasks executed by a component must specify deadlines. In addition, these deadlines must be monitor...
متن کاملA Compositional Framework for Avionics (ARINC-653) Systems
Cyber-physical systems (CPSs) are becoming all-pervasive, and due to increasing complexity they are designed using component-based approaches. Temporal constraints of such complex CPSs can then be modeled using hierarchical scheduling frameworks. In this paper, we consider one such avionics CPS described by ARINC specification 653-2. The real-time workload in this system comprises of partitions...
متن کاملSoftware Model Checking of ARINC-653 Flight Code with MCP
The ARINC-653 standard defines a common interface for Integrated Modular Avionics (IMA) code. In particular, ARINC-653 Part 1 specifies a processand partition-management API that is analogous to POSIX threads, but with certain extensions and restrictions intended to support the implementation of high reliability flight code. MCP is a software model checker, developed at NASAAmes, that provides ...
متن کاملData-centric distribution technology in Arinc-653 systems
Standard distribution middleware has recently emerged as a potential solution to interconnect distributed systems in the avionics domain, as it would bring important benefits throughout the software development process. A remaining challenge, however, is reducing the complexity associated with current distribution standards which leads to prohibitive certification costs. To overcome this comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2944662